Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
351	The Typeclassopedia by Brent Yorgey [removed] The standard Haskell libraries feature a number of type classes with algebraic or category-theoretic underpinnings. Becoming a fluent Haskell hacker requires in Add to Reading List Source URL: www.haskell.org Language: English - Date: 2011-08-16 16:00:20 Computing Data types Adjoint functors Type theory Monad Map Option type Functor Natural transformation Declarative programming Software engineering Functional programming
352	Towards a Declarative Web Master of Science thesis Anton Ekblad University of Gothenburg Add to Reading List Source URL: haste-lang.org Language: English - Date: 2014-03-31 19:10:51 Scripting languages Haskell Literate programming JavaScript Glasgow Haskell Compiler Yhc C JavaScript engine Happstack Software Computing Cross-platform software
353	JaCoP Library User’s Guide Krzysztof Kuchcinski and Radosław Szymanek Version 4.0, May 12, 2014 Add to Reading List Source URL: jacop.osolpro.com Language: English - Date: 2014-05-18 16:17:00 Computer programming JaCoP ECLiPSe Constraint satisfaction Constraint logic programming Constraint programming Declarative programming Software engineering
354	Declarative Task Description as a User-Interface Structuring Mechanism Add to Reading List Source URL: www.reidgsmith.com Language: English - Date: 2013-05-22 10:51:13 User interface techniques Abstraction Data management User interface Programming language theory Prolog Human–computer interaction Loadable kernel module Computing Programming paradigms Software engineering
355	GOO Reference Manual v46 Jonathan Bachrach MIT AI Lab November 19, [removed]Introduction Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2003-11-19 14:59:49 Functional programming Higher-order functions Lambda calculus Subroutines Recursion Anonymous function Monad Function Map Software engineering Declarative programming Computing
356	JFP 19 (6): 663–697, [removed]c Cambridge University Press 2009 663 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-11-05 10:42:24 Constraint programming Numerical software Programming paradigms Logic programming Solver Constraint logic programming ECLiPSe Lis Comet Declarative programming Software engineering Computer programming
357	A hybrid approach to staff scheduling: The Staff Work Allocation Tool (SWAT) Graham Winstanley Abstract Assigning nursing staff to specific duties according to their contract, qualifications, skills, Add to Reading List Source URL: www.cem.brighton.ac.uk Language: English - Date: 2003-03-24 06:32:38 Computer programming Constraint satisfaction Nurse scheduling problem Constraint logic programming Mathematical optimization Hybrid algorithm ECLiPSe Constraint programming Declarative programming Software engineering
358	F:/usr/dbc/work/investigacion/congresos/GTTSE05/camera-ready/GTTSE05.dvi Add to Reading List Source URL: www.lsi.us.es Language: English - Date: 2006-05-03 05:49:40 Operations research Computing Declarative programming Constraint satisfaction JaCoP Mathematical modeling Feature model Mathematical optimization AMPL Constraint programming Software engineering Computer programming
359	Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt MPRI 2-4-2, 2007 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-12 03:05:56 Computing Adjoint functors Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Haskell Purely functional Declarative programming Software engineering Functional programming

UPDATE